The Detection of the Termination of Partial Computations. Temporal Logics Turn out to Be a Suitable Formal Framework for Reasoning about Systems of Distributed Autonomous Agents That Can Easily Modelled by Actors. References
نویسنده
چکیده
A. Yonezawa. ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended data-flow computer. In
منابع مشابه
Formal Specification of Reflective Agents
Many autonomous agents exhibit reflective behaviour: they not only reason about their own behaviour, but also about other agents' behaviour. To model and formally specify such behaviour requires a framework which provides constructs designed for this purpose. DESIRE (framework for DEsign and Specification of Interacting REasoning components; cf. [LPT92], [BTWW94]), a compositional framework for...
متن کاملCHAPTER 10: Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems
In this article, we look at formal methods for reasoning about multi-agent systems, with particular emphasis on the twin problems of specifying and verifying such systems. We begin by critically reviewing several types of formalism, from both AI and mainstream computer science, which suggest themselves as possible candidates for the task. This review leads us to conclude that none of these form...
متن کاملDetermination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method
Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...
متن کاملA Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملA Framework to Reason about the Knowledge of Agents in Continuous Dynamic Systems
Applying formal methods to a group of agents provides a precise and unambiguous definition of their behaviors, as well as verify properties of agents against implementations. Hybrid automaton is one of the formal approaches that are used by several works to model a group of agents. Several logics have been proposed, as extension of temporal logics to specify and hence verify those quantitative ...
متن کامل